Revision: make--debian--3.0--patch-1
Archive: srivasta@debian.org--etch
Creator: Manoj Srivastava <srivasta@debian.org>
Date: Sun Aug  7 07:39:49 CDT 2005
Standard-date: 2005-08-07 12:39:49 GMT
Modified-files: doc/make.texi
New-patches: srivasta@debian.org--etch/make--debian--3.0--patch-1
Summary: punctuation is not allowed after the @pxref command
Keywords: 

punctuation is not allowed after the @pxref command

